Proceedings of the 5 th International Workshop on Formal Methods for Interactive Systems ( FMIS 2013 ) Preface
نویسندگان
چکیده
منابع مشابه
Formal Methods for Interactive Systems F M I S 2 0 0 6 Formal Methods for Interactive Systems F M I S 2 0 0 6
Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in ...
متن کاملThe Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007)
Human-computer interaction studies try to improve interaction between users and computers. Formal methods can play important role by giving a precise notation to model the interaction and capabilities to reason about the model. This work uses Communicating Sequential Processes (CSP), a simple but powerful process algebra, to model the interaction between user and computer in a case study: a cho...
متن کاملProceedings of the Third International Workshop on Formal Methods for Interactive Systems ( FMIS 2009 ) Markov Abstractions for Probabilistic π - Calculus
This paper presents a range of approaches to the analysis and development of program specifications that have been expressed in a probabilistic process algebra. The approach explores Markovian processes as a high-level abstraction tool to reason about system specifications. The abstractions include ones to check the structure of specifications, analyze the long-term stability of the system, and...
متن کامل6 th International Workshop on Worst - Case Execution Time
On the 4th of July, 2006, the 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) was held in Dresden, Germany, co-located with the 18th Euromicro International Conference on Real-Time Systems (ECRTS'06), both with support of Euromicro Technical Committee. The goal of the workshop was to bring together people from academia, tool vendors and users in industry that are inte...
متن کاملFormal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
By reading, you can know the knowledge and things more, not only about what you get from people to people. Book will be more trusted. As this formal methods in systems biology first international workshop fmsb 2008 cambridge uk june 4 5, it will really give you the good idea to be successful. It is not only for you to be success in certain life you can be successful in everything. The success c...
متن کامل